1

A characterization of Takeuti's ordinal diagrams of finite order

Year:
1971
Language:
english
File:
PDF, 945 KB
english, 1971
2

Syntactical and Semantical Properties of Simple Type Theory

Year:
1960
Language:
english
File:
PDF, 783 KB
english, 1960
3

Schlußweisen-Kalküle der Prädikatenlogik

Year:
1950-1951
Language:
german
File:
PDF, 1.51 MB
german, 1950-1951
4

Zur Widerspruchsfreiheit einer typenfreien Logik

Year:
1952-1953
Language:
german
File:
PDF, 581 KB
german, 1952-1953
5

Über die Erfüllbarkeit einer Klasse von logischen Formeln

Year:
1935
Language:
german
File:
PDF, 1.37 MB
german, 1935
6

Ein konstruktives system von Ordinalzahlen

Year:
1968
Language:
german
File:
PDF, 555 KB
german, 1968
7

Ein System des Verknüpfenden Schliessens

Year:
1956
Language:
german
File:
PDF, 763 KB
german, 1956
8

Simultane Rekursionen in der Theorie der Funktionale endlicher Typen

Year:
1971
Language:
german
File:
PDF, 205 KB
german, 1971
10

Effect of minimalist shoe training on lower limb joint moments

Year:
2013
Language:
english
File:
PDF, 481 KB
english, 2013
14

Ein widerspruchsloses System der Analysis auf typenfreier Grundlage

Year:
1954-1955
Language:
german
File:
PDF, 1.04 MB
german, 1954-1955
15

Der projektiv erweiterte Gruppenraum der ebenen Bewegungen

Year:
1957
Language:
german
File:
PDF, 2.22 MB
german, 1957
16

Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie

Year:
1950-1951
Language:
german
File:
PDF, 1.84 MB
german, 1950-1951
17

Die Winkelmetrik in der affin-orthogonalen Ebene

Year:
1955
Language:
german
File:
PDF, 976 KB
german, 1955
18

Gruppentheoretisches Axiomensystem einer verallgemeinerten euklidischen Geometrie

Year:
1956
Language:
german
File:
PDF, 1.45 MB
german, 1956
19

Beweistheoretische Untersuchung der verzweigten Analysis

Year:
1951-1952
Language:
german
File:
PDF, 1.65 MB
german, 1951-1952
20

Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen

Year:
1954
Language:
german
File:
PDF, 897 KB
german, 1954
21

Überdeckungen der Kugel mit höchstens acht Kreisen

Year:
1955
Language:
german
File:
PDF, 356 KB
german, 1955
22

Ein Schließungssatz für Inzidenz und Orthogonalität

Year:
1955
Language:
german
File:
PDF, 464 KB
german, 1955
23

Minimale Durchmesser endlicher Punktmengen mit vorgeschriebenem Mindestabstand

Year:
1963
Language:
german
File:
PDF, 487 KB
german, 1963
24

Untersuchungen zum Entscheidungsproblem der mathematischen Logik

Year:
1934
Language:
german
File:
PDF, 1.47 MB
german, 1934
25

Schließungssätze für orthogonale Abbildungen euklidischer Ebenen

Year:
1956
Language:
german
File:
PDF, 1.02 MB
german, 1956
26

Der Interpolationssatz der intuitionistischen Prädikatenlogik

Year:
1962
Language:
german
File:
PDF, 470 KB
german, 1962
28

Beweistheoretische Abgrenzung von Teilsystemen der Analysis

Year:
1980
Language:
german
File:
PDF, 697 KB
german, 1980
29

Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik

Year:
1964-1965
Language:
german
File:
PDF, 684 KB
german, 1964-1965
30

Non-uniqueness at ω2in Kleene'sO

Year:
1966
Language:
english
File:
PDF, 323 KB
english, 1966
31

Ein Formales System der Klassischen Aussagenlogik mit Einer Einzigen Grundverknüpfung

Year:
1961
Language:
german
File:
PDF, 298 KB
german, 1961
32

Ein Konstruktives System von Ordinalzahlen. II

Year:
1969
Language:
german
File:
PDF, 395 KB
german, 1969
33

Eine bemerkung über Quasirekursive Funktionen

Year:
1951
Language:
german
File:
PDF, 90 KB
german, 1951
36

Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis

Year:
1951
Language:
german
File:
PDF, 1.49 MB
german, 1951
39

Ein Beitrag zu einem Problem von gerichteten Graphen

Year:
2000
Language:
german
File:
PDF, 109 KB
german, 2000
40

[Grundlehren der mathematischen Wissenschaften] Proof Theory Volume 225 ||

Year:
1977
Language:
english
File:
PDF, 21.32 MB
english, 1977
42

Ordinal Diagrams IIby Gaisi Takeuti

Year:
1964
Language:
english
File:
PDF, 334 KB
english, 1964